axiom of identification

См. также в других словарях:

• History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

• Structural health monitoring — The process of implementing a damage detection strategy for aerospace, civil and mechanical engineering infrastructure is referred to as Structural Health Monitoring (SHM). Here damage is defined as changes to the material and/or geometric… …   Wikipedia

• Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… …   Wikipedia

• Objectivist metaphysics — All of Objectivism rests on Objectivist metaphysics and Objectivist epistemology: the study of the fundamental nature of reality, and of the nature and proper method of acquiring knowledge. The key tenets of the Objectivist metaphysics are (1)… …   Wikipedia

• Scientology beliefs and practices — Scientology is, according to its own texts, the study and handling of the spirit in relationship to itself, others and all of life. [cite web | url=http://www.scientology.org/en US/religion/presentation/pg006.html | title=Introduction to… …   Wikipedia

• Objectivism (Ayn Rand) — Objectivist philosophy redirects here. For other uses, see Objectivism (disambiguation). Objectivist movement …   Wikipedia

• Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

• History of Physics —     History of Physics     † Catholic Encyclopedia ► History of Physics     The subject will be treated under the following heads: I. A Glance at Ancient Physics; II. Science and Early Christian Scholars; III. A Glance at Arabian Physics; IV.… …   Catholic encyclopedia

• Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

• Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia